Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
291	LPI‐IP Formal Interpretation Form 14048 W. Petronella Dr. Suite 104 Libertyville, IL 60048 (224) 433 Add to Reading List Source URL: www.lpi-ip.com Language: English - Date: 2014-02-27 10:13:22 Philosophy of mind Semantics Libertyville Illinois Philosophy Logic Mind Interpretation Model theory Philosophy of language
292	Plural Quantifiers John MacFarlane—Philosophy 142 February 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-24 14:22:05 Model theory Quantification Predicate logic Semantics First-order logic Second-order logic Interpretation Non-standard model of arithmetic Nonfirstorderizability Mathematical logic Logic Mathematics
293	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Interpretation Philosophy of mind Semantics Primitive recursive function Function First-order logic Mathematical logic Mathematics Logic
294	Interconnection Semantics for Keyword Search in XML Sara Cohen∗ Yaron Kanza Technion—Israel Institute of Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-11-04 06:34:23 Complexity classes NP-complete problems Logic in computer science Graph connectivity Graph theory Tree Connectivity L Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
295	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
296	Granularity and Concurrent Separation Logic Jonathan Hayman Computer Laboratory, University of Cambridge Abstract. When defining the semantics of shared-memory concurrent programming languages, one conventionally has to Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-07 11:14:44 Concurrency Diagrams Petri net Mathematical logic Mathematics Heap Separation logic Theoretical computer science Models of computation Logic in computer science
297	PS YC HOLOGIC AL S CIE NCE Research Article Believe It or Not On the Possibility of Suspending Belief Add to Reading List Source URL: www.behaviometrix.com Language: English - Date: 2009-03-15 17:14:10 Philosophical logic Propositional calculus Philosophy of language Critical thinking Semantics Proposition Truth Relevance Epistemology Logic Philosophy Science
298	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
299	A TYPOLOGY OF SPECIFICITY Donka F. Farkas and Adrian Brasoveanu University of California, Santa Cruz Abstract The paper casts a look back at the role specificity has played in DP semantics in the last thirty years and th Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Quantification Mathematical logic Syntactic categories Grammar Determiner Discourse representation theory Generalized quantifier Existential quantification Variable Linguistics Logic Semantics
300	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science

UPDATE